Finite State Machine based Testing of Web Applications
نویسنده
چکیده
Web testing is an effective technique to ensure the quality of Web applications. With the development and implementation of web applications in variety of industries, testing web system becomes more and more important and difficult. This literature review paper addresses the use of practical usage model based on finite state machine. According to the FSM usage model, it details the process of generating test cases. Finite state machine are the best method for developing computational model for hardware and software. By using the concept of finite State modeling, a computational model of web application can be built. In this model, web pages can be considered as states of finite state model and links can be considered as state transitions with input condition provided at each state. After building computational model test cases can be generated by using various techniques [2].
منابع مشابه
A Sustainable Approach to Automate User Session Based State Machine Generation for Ajax Web Applications
A whole new generation WEB 2.0 is being written to take advantage of extreme dynamism as in AJAX. AJAX is used to build rich internet applications that are more interactive, responsive, and easy to use. With the advent of Ajax which involves extreme dynamism, novel problems add to those already known in the Web testing area. For Testing an AJAX application, a sustainable approach is required to...
متن کاملTesting Web Applications Using UIO with GA
The Internet uses are increasing day by day. The World Wide Web has become global system for providing information and services. The technological evolution however is not supported by adequate web testing methodologies. Usually web testing is carried out without following any well-defined procedure, it lacks suitable tool support. Model Based Testing has gained attention with popularization of...
متن کاملRestricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملModeling, Verification and Testing of Web Applications Using Model Checker
The number of Web applications handling online transaction is increasing, but verification of the correctness of Web application development has been done manually. This paper proposes a method for modeling, verifying and testing Web applications. In our method, a Web application is modeled using two finite-state automata, i.e., a page automaton which specifies Web page transitions, and an inte...
متن کاملFormal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We elaborate a method for automatic generation of such a model from a recorded browsing session. The obtained model could then be used to verify properties with a model checker, as well as for regression testing and documen...
متن کامل